package entities.assertion;

import option.KBVocabulary;
import entities.Individual;
import entities.role.Role;

public class RoleAssertion extends Assertion {

	private final Individual a, b;
	private final Role role;

	public RoleAssertion(Individual a, Individual b, Role r) {
		this.a = a;
		this.b = b;
		this.role = r;
	}

	public Individual getFirstIndividual() {
		return this.a;
	}

	public Individual getSecondIndividual() {
		return this.b;
	}

	public Role getRole() {
		return this.role;
	}

	@Override
	public String toString() {
		return "(" + this.a + "," + this.b + ") : " + this.role;
	}

	@Override
	public String toSerializedString() {
		return " (" + KBVocabulary.ROLEASSERT + " " + this.a.getName() + " "
				+ this.b.getName() + " " + this.role.toSerializedString()
				+ ") ";
	}

}
